Bjorner A.: որոնել Z-Library կայքում

Գիտելիքների և մշակույթի ազատ հասանելիություն:

Don't use scam websites

Գրքեր (84)
Ամենահայտնի
Ցուցակ
- Ցուցակ
- Աղյուսակ

1

Software Engineering 1: Abstraction and Modelling

Software Engineering 1: Abstraction and Modelling

Տարի:

2006

Լեզու:

english

Ֆայլ:

PDF, 53.92 MB

0 / 0

english, 2006

2

Oriented Matroids, Second Edition (Encyclopedia of Mathematics and its Applications)

Oriented Matroids, Second Edition (Encyclopedia of Mathematics and its Applications)

Cambridge University Press

Anders Björner, Michel Las Vergnas, Bernd Sturmfels, Neil White, Gunter M. Ziegler

Տարի:

2000

Լեզու:

english

Ֆայլ:

PDF, 7.81 MB

0 / 0

english, 2000

3

Software Engineering 1: Abstraction and Modelling

Software Engineering 1: Abstraction and Modelling

Տարի:

2006

Լեզու:

english

Ֆայլ:

DJVU, 8.01 MB

0 / 0

english, 2006

4

Software Engineering 3

Software Engineering 3

Տարի:

2006

Լեզու:

english

Ֆայլ:

PDF, 7.34 MB

5.0 / 0

english, 2006

5

New perspectives in algebraic combinatorics

New perspectives in algebraic combinatorics

Cambridge University Press

Louis J. Billera, Anders Björner, Curtis Greene, Rodica E. Simion, Richard P. Stanley

Տարի:

1999

Լեզու:

english

Ֆայլ:

PDF, 4.20 MB

0 / 0

english, 1999

6

Combinatorial miscellany

Combinatorial miscellany

Bjorner A., Stanley R.P.

Տարի:

2004

Լեզու:

english

Ֆայլ:

PDF, 375 KB

0 / 0

english, 2004

7

Software Engineering 1: Abstraction and Modelling

Software Engineering 1: Abstraction and Modelling

Springer-Verlag Berlin Heidelberg

Prof. Dr. Dines Bjørner (auth.)

Տարի:

2006

Լեզու:

english

Ֆայլ:

PDF, 23.68 MB

0 / 0

english, 2006

8

Oriented matroids

Oriented matroids

Cambridge University Press

Anders Björner, Michel Las Vergnas, Bernd Sturmfels, Neil White, Gunter M. Ziegler

Տարի:

1999

Լեզու:

english

Ֆայլ:

DJVU, 5.11 MB

0 / 0

english, 1999

9

Oriented Matroids, Second edition (Encyclopedia of Mathematics and its Applications)

Oriented Matroids, Second edition (Encyclopedia of Mathematics and its Applications)

Cambridge University Press

Anders Bjorner, Michel Las Vergnas, Bernd Sturmfels, Neil White, Gunter M. Ziegler

Տարի:

2000

Լեզու:

english

Ֆայլ:

DJVU, 5.46 MB

0 / 0

english, 2000

10

Software Engineering 3

Software Engineering 3

Springer Science & Business Media

Տարի:

2006

Լեզու:

english

Ֆայլ:

PDF, 7.28 MB

5.0 / 0

english, 2006

11

Configuration Spaces: Geometry, Combinatorics and Topology. CRM Series

Configuration Spaces: Geometry, Combinatorics and Topology. CRM Series

Scuola Normale Superiore

Bjorner, Anders, Cohen, Fred, De Concini, Corrado, Procesi, Claudo, Salvetti, Mario (ed.)

Տարի:

2012

Լեզու:

english

Ֆայլ:

PDF, 2.41 MB

0 / 0

english, 2012

12

Software Engineering 1: Abstraction and Modelling

Software Engineering 1: Abstraction and Modelling

Տարի:

2006

Լեզու:

english

Ֆայլ:

PDF, 43.50 MB

0 / 0

english, 2006

13

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Տարի:

2007

Լեզու:

english

Ֆայլ:

PDF, 5.37 MB

0 / 0

english, 2007

14

DOMAIN ENGINEERING - Technology Management, Research and Engineering

DOMAIN ENGINEERING - Technology Management, Research and Engineering

Լեզու:

english

Ֆայլ:

PDF, 32.72 MB

0 / 0

english

15

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Տարի:

2007

Լեզու:

english

Ֆայլ:

PDF, 4.29 MB

0 / 0

english, 2007

16

VDM '90 VDM and Z — Formal Methods in Software Development: Third International Symposium of VDM Europe Kiel, FRG, April 17–21, 1990 Proceedings

VDM '90 VDM and Z — Formal Methods in Software Development: Third International Symposium of VDM Europe Kiel, FRG, April 17–21, 1990 Proceedings

Springer-Verlag Berlin Heidelberg

Ole-Johan Dahl (auth.), D. Bjørner, C. A. R. Hoare, H. Langmaack (eds.)

Տարի:

1990

Լեզու:

english

Ֆայլ:

DJVU, 6.60 MB

0 / 0

english, 1990

17

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

Տարի:

1996

Լեզու:

english

Ֆայլ:

PDF, 6.23 MB

0 / 5.0

english, 1996

18

Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings

Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner (auth.), Jean-Pierre Jouannaud, Zhong Shao (eds.)

Տարի:

2011

Լեզու:

english

Ֆայլ:

PDF, 4.17 MB

0 / 0

english, 2011

19

Formal specification and software development

Formal specification and software development

Bjorner D., Jones C.B.

Տարի:

1982

Լեզու:

english

Ֆայլ:

DJVU, 5.70 MB

0 / 0

english, 1982

20

Formal Methods in Software Development

Formal Methods in Software Development

Dines Bjorner, C.A.R. Hoare, Hans Langmaack

Տարի:

1990

Լեզու:

english

Ֆայլ:

DJVU, 4.14 MB

0 / 0

english, 1990

21

Automated Deduction – CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings

Automated Deduction – CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Koen Claessen (auth.), Nikolaj Bjørner, Viorica Sofronie-Stokkermans (eds.)

Տարի:

2011

Լեզու:

english

Ֆայլ:

PDF, 5.78 MB

0 / 0

english, 2011

22

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

Տարի:

1996

Լեզու:

english

Ֆայլ:

DJVU, 3.86 MB

0 / 0

english, 1996

23

Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings

Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner, Leonardo de Moura (auth.), Joël Ouaknine, Frits W. Vaandrager (eds.)

Տարի:

2009

Լեզու:

english

Ֆայլ:

PDF, 3.56 MB

0 / 0

english, 2009

24

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), J. Díaz, F. Orejas (eds.)

Տարի:

1989

Լեզու:

english

Ֆայլ:

PDF, 7.85 MB

0 / 0

english, 1989

25

SOFSEM 2000: Theory and Practice of Informatics: 27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 – December 2, 2000 Proceedings

SOFSEM 2000: Theory and Practice of Informatics: 27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 – December 2, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Václav Hlaváč, Keith G. Jeffery, Jiří Wiedermann (eds.)

Տարի:

2000

Լեզու:

english

Ֆայլ:

PDF, 6.37 MB

0 / 0

english, 2000

26

Mathematical Foundations of Computer Science 1980: Proceedings of the 9th Symposium Held in Rydzyna, Poland, September 1–5, 1980

Mathematical Foundations of Computer Science 1980: Proceedings of the 9th Symposium Held in Rydzyna, Poland, September 1–5, 1980

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), P. Dembiński (eds.)

Տարի:

1980

Լեզու:

english

Ֆայլ:

DJVU, 6.42 MB

0 / 0

english, 1980

27

Software Engineering 2: Specification of Systems and Languages

Software Engineering 2: Specification of Systems and Languages

Տարի:

2006

Լեզու:

english

Ֆայլ:

PDF, 39.54 MB

0 / 0

english, 2006

28

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Տարի:

2007

Լեզու:

english

Ֆայլ:

PDF, 6.60 MB

0 / 0

english, 2007

29

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Տարի:

2007

Լեզու:

english

Ֆայլ:

PDF, 7.82 MB

0 / 0

english, 2007

30

Oriented matroids

Oriented matroids

Cambridge University Press

Bjorner, Las Vergnas, Sturmfels, White, Ziegler.

Տարի:

1999

Լեզու:

english

Ֆայլ:

DJVU, 4.68 MB

0 / 0

english, 1999

31

Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

Springer International Publishing

Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov

Տարի:

2019

Լեզու:

english

Ֆայլ:

PDF, 17.03 MB

0 / 0

english, 2019

32

Introduction to Greedoids (revised version, November 1989)

Introduction to Greedoids (revised version, November 1989)

Anders Björner, Günter M. Ziegler

Տարի:

1989

Լեզու:

english

Ֆայլ:

PDF, 5.34 MB

0 / 0

english, 1989

33

Integrating Decision Procedures for Temporal Verification

Integrating Decision Procedures for Temporal Verification

Stanford University

Nikolaj Skallerud Bjorner

Տարի:

1999

Լեզու:

english

Ֆայլ:

PDF, 1.07 MB

0 / 0

english, 1999

34

Software Engineering 3: Domains, Requirements, and Software Design

Software Engineering 3: Domains, Requirements, and Software Design

Տարի:

2006

Լեզու:

english

Ֆայլ:

PDF, 7.77 MB

5.0 / 5.0

english, 2006

35

Software Engineering 2: Specification of Systems and Languages

Software Engineering 2: Specification of Systems and Languages

Տարի:

2006

Լեզու:

english

Ֆայլ:

PDF, 39.92 MB

0 / 0

english, 2006

36

Combinatorics of Coxeter Groups

Combinatorics of Coxeter Groups

Springer-Verlag Berlin Heidelberg

Anders Bjorner, Francesco Brenti

Տարի:

2005

Լեզու:

english

Ֆայլ:

PDF, 2.08 MB

5.0 / 5.0

english, 2005

37

Using the Borsuk-Ulam theorem: lectures on topological methods in combinatorics and geometry

Using the Borsuk-Ulam theorem: lectures on topological methods in combinatorics and geometry

Jiri Matousek, A. Björner, G.M. Ziegler

Տարի:

2003

Լեզու:

english

Ֆայլ:

PDF, 1.72 MB

0 / 0

english, 2003

38

Domain Science and Engineering: A Foundation for Software Development

Domain Science and Engineering: A Foundation for Software Development

Տարի:

2021

Լեզու:

english

Ֆայլ:

PDF, 4.58 MB

0 / 0

english, 2021

39

Software Engineering 3: Domains, Requirements, and Software Design

Software Engineering 3: Domains, Requirements, and Software Design

Տարի:

2006

Լեզու:

english

Ֆայլ:

DJVU, 6.10 MB

0 / 0

english, 2006

40

Software Engineering 2: Specification of Systems and Languages

Software Engineering 2: Specification of Systems and Languages

Տարի:

2006

Լեզու:

english

Ֆայլ:

DJVU, 8.45 MB

0 / 0

english, 2006

41

Logics of Specification Languages

Logics of Specification Languages

Dines Bjørner, Martin C. Henson (eds.)

Տարի:

2008

Լեզու:

english

Ֆայլ:

PDF, 3.69 MB

0 / 0

english, 2008

42

Formal Methods: State of the Art and New Directions

Formal Methods: State of the Art and New Directions

Springer-Verlag London

Dines Bjørner (auth.), Paul Boca, Jonathan P. Bowen, Jawed Siddiqi (eds.)

Տարի:

2010

Լեզու:

english

Ֆայլ:

PDF, 3.23 MB

0 / 5.0

english, 2010

43

Domain Science and Engineering. A Foundation for Software Development.

Domain Science and Engineering. A Foundation for Software Development.

Springer International Publishing AG

Տարի:

2021

Լեզու:

english

Ֆայլ:

PDF, 4.58 MB

0 / 5.0

english, 2021

44

Using the Borsuk-Ulam theorem : lectures on topological methods in combinatorics and geometry

Using the Borsuk-Ulam theorem : lectures on topological methods in combinatorics and geometry

Jiri Matousek, A. Björner, G.M. Ziegler

Տարի:

2003

Լեզու:

english

Ֆայլ:

PDF, 2.22 MB

0 / 0

english, 2003

45

Combinatorics of Coxeter Groups

Combinatorics of Coxeter Groups

Anders Bjorner, Francesco Brenti

Տարի:

2005

Լեզու:

german

Ֆայլ:

PDF, 4.41 MB

5.0 / 0

german, 2005

46

The Vienna Development Method: The Meta-Language

The Vienna Development Method: The Meta-Language

Springer-Verlag Berlin Heidelberg

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones (eds.)

Տարի:

1978

Լեզու:

english

Ֆայլ:

PDF, 14.97 MB

0 / 0

english, 1978

47

Configuration Spaces: Geometry, Combinatorics and Topology

Configuration Spaces: Geometry, Combinatorics and Topology

Edizioni della Normale

Alejandro Adem, José Manuel Gómez (auth.), A. Bjorner, F. Cohen, C. De Concini, C. Procesi, M. Salvetti (eds.)

Տարի:

2012

Լեզու:

english

Ֆայլ:

PDF, 3.43 MB

0 / 0

english, 2012

48

Combinatorics of Coxeter groups

Combinatorics of Coxeter groups

Bjorner A., Brenti F.

Տարի:

2005

Լեզու:

english

Ֆայլ:

PDF, 2.19 MB

5.0 / 5.0

english, 2005

49

Combinatorics of Coxeter Groups

Combinatorics of Coxeter Groups

Anders Bjorner, Francesco Brenti

Տարի:

2005

Լեզու:

german

Ֆայլ:

PDF, 3.09 MB

5.0 / 0

german, 2005

50

Combinatorics of Coxeter Groups

Combinatorics of Coxeter Groups

Springer-Verlag Berlin Heidelberg

Anders Bjorner, Francesco Brenti (auth.)

Տարի:

2005

Լեզու:

english

Ֆայլ:

PDF, 2.24 MB

5.0 / 0

english, 2005